Probabilistic program performance analysis with confidence intervals
نویسندگان
چکیده
منابع مشابه
Probabilistic Intervals of Confidence
Abstract: High accuracy should not be the only goal of classification: information concerning probable alternatives diagnoses, probability of these diagnoses, evaluation of confidence in classification, are also important. Neural models are used just to obtain the winner class but do not provide any justification for their recommendations – they work as black boxes. A method which determine con...
متن کاملConfidence intervals for probabilistic network classifiers
Probabilistic networks (Bayesian networks) are suited as statistical pattern classifiers when the feature variables are discrete. It is argued that their white-box character makes them transparent, a requirement in various applications such as, e.g., credit scoring. In addition, the exact error rate of a probabilistic network classifier can be computed without a dataset. First, the exact error ...
متن کاملQuantifying Performance Changes with Effect Size Confidence Intervals
Measuring performance and quantifying a performance change are core evaluation techniques in programming language and systems research. Out of 122 recent scientific papers published at PLDI, ASPLOS, ISMM, TOPLAS, and TACO, as many as 65 included experimental evaluation that quantified a performance change using a ratio of execution times. Unfortunately, few of these papers evaluated their resul...
متن کاملProbabilistic Program Analysis with Martingales
We present techniques for the analysis of infinite state probabilistic programs to synthesize probabilistic invariants and prove almost-sure termination. Our analysis is based on the notion of (super) martingales from probability theory. First, we define the concept of (super) martingales for loops in probabilistic programs. Next, we present the use of concentration of measure inequalities to b...
متن کاملSetting Confidence Intervals in Coincidence Search Analysis
The main technique that has been used to estimate the rate of gravitational wave (gw) bursts is to search for coincidence among times of arrival of candidate events in different detectors. Coincidences are modelled as a (possibly non-stationary) random time series background with gw events embedded in it, at random times but constant average rate. It is critical to test whether the statistics o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information & Software Technology
سال: 2023
ISSN: ['0950-5849', '1873-6025']
DOI: https://doi.org/10.1016/j.infsof.2022.107143